@inproceedings{embedded-cc-sac-oops-2010,
 author = {F\"{a}hndrich, Manuel and Barnett, Michael and Logozzo, Francesco},
 title = {Embedded contract languages},
 booktitle = {SAC '10: Proceedings of the 2010 ACM Symposium on Applied Computing},
 year = {2010},
 isbn = {978-1-60558-639-7},
 pages = {2103--2110},
 location = {Sierre, Switzerland},
 doi = {http://doi.acm.org/10.1145/1774088.1774531},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@Misc{MSIL,
  author = 	 {{ECMA}},
  title = 	 {Standard {ECMA-355}, {C}ommon {L}anguage {I}nfrastructure },
  month = 	 jun,
  year = 	 {2006} 
}

@inproceedings{CousotCousot77,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Abstract interpretation: a unified lattice model for static 
                analysis of programs by construction or approximation of 
                fixpoints},
   year = 1977,
   publisher = {{ACM}},
month = jan,
   booktitle = {POPL'77},
}

@inproceedings{subpolyhedra,
 author = {Laviron, Vincent and Logozzo, Francesco},
 title = {SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities},
 booktitle = {VMCAI '09: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation},
 year = {2009},
 isbn = {978-3-540-93899-6},
 pages = {229--244},
 location = {Savannah, GA},
 doi = {http://dx.doi.org/10.1007/978-3-540-93900-9_20},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 }

@misc{codecontracts,
  author = 	 {Manuel F{\"a}hndrich and Mike Barnett and Francesco Logozzo},
  title = 	 {{Code Contracts}},
  url = "http://research.microsoft.com/contracts",
  month = 	 mar,
  year = 	 {2009} 
}

@TechReport{Cousot77,
  author = 	 {P{.} Cousot},
  title = 	 {Asynchronous iterative methods for solving a fixed point system of monotone equations in a complete lattice},
  institution =  {Laboratoire IMAG, University of Grenoble},
  year = 	 {1977}
}

@inproceedings{MafLogozzo10,
  author    = {M{.} F{\"a}hndrich and
               F{.} Logozzo},
  title     = {Static Contract Checking with Abstract Interpretation},
  booktitle = {FoVeOOS},
  year      = {2010},
  publisher = {Springer}
}

@inproceedings{LogozzoBall12,
  author    = {Logozzo, F{.} and Ball, T{.}},
  title     = {Modular and verified automatic program repair},
  booktitle = {OOPSLA},
  year      = {2012},
  publisher = {{ACM}}
}


@InProceedings{BouazizLogozzoMaf12,
  author = 	 {M{.} Bouaziz and F{.} Logozzo and M{.} F{\"a}hndrich},
  title = 	 {Inference of Necessary Field Conditions with Abstract Interpretation},
  booktitle = {APLAS},
  year = 	 {2012},
  publisher = {Springer},
}

@InProceedings{CousotCousotMafLogozzo13,
  author = 	 {P{.} Cousot and R{.} Cousot and  M{.} F{\"a}hndrich and F{.} Logozzo },
  title = 	 {Automatic Inference of Necessary Preconditions},
  booktitle = {VMCAI},
  year = 	 {2013},
  publisher = {Springer},
}